


type error
exception Error of error * Ast.loc
val print_error : error -> unit

val clear_envs : unit -> unit

val is_global : string -> bool
  
val type_prog : Ast.loc Ast.prog -> Ast.typ Ast.prog


  
